nested quantifiers problems